Міністерство освіти і науки України Київський політехнічний інститут ім. Ігоря Сікорського Теплоенергетичний факультет Кафедра АПЕПС Комп’ютерна схемотехніка та архітектура комп’ютерів ЗВІТ ДО ЛАБОРАТОРНОГО ПРАКТИКУМУ № 2 «Синтез перемикальних функцій» Варіант № 3 Дата «27» Вересня 2021  Синтез перемикальних функцій Мета роботи: Закріплення знань і отримання практичних навичок отримання мінімальних аналітичних форм представлення перемикальних функцій; побудови комбінаційних схем для їх реалізації в заданому елементному базисі. Постановка задачі В результаті виконання даної лабораторної роботи студент повинен вміти: використовуючи методи Куайна-МакКласкі та карт Карно, отримувати мінімальні аналітичні форми представлення перемикальних функцій в заданому базисі логічних елементів; проводити функціональне та моделювання цифрових пристроїв (ЦП) з урахуванням часових параметрів мікросхем ПЛІС; порівнювати інтегральні реалізації ЦП. Теоретичні відомості Теоретичною основою цифрових автоматів є алгебра логіки – наука, яка використовує математичні методи для розв’язування логічних задач. Алгебру логіки називають булевою на честь англійського математика Дж. Буля, який зробив значний вклад у розвиток цієї науки (1815–1864 рр.). Основним предметом булевої алгебри служить – просте твердження: воно або істинне (позначають символом 1), або хибне (позначають символом 0). Прості висловлювання позначають буквами, які у цифровій техніці називають змінними (аргументами). За допомогою логічних зв’язок НЕ, АБО, І, ЯКЩО.., ТО будують складні висловлювання, які називають (логічними) функціями і позначають буквами F, L, K, M, P та ін. - кон’юнкція - висловлювання A і B, яке істинне тоді і тільки тоді, коли істинні обидва висловлювання A і B. Це логічна операція відповідає у природній мові зв’язці “ і ” - диз'юнкція - логічне додавання це булева операція, результатом якої є значення нуль тоді і тільки тоді, коли обидва операнди мають значення нуль. - інверсія(заперечення) операція над судженнями, результат якої — судження «протилежне» початковому. Позначається знаком ¬ перед або рискою над судженням. Синонім: логічне «НЕ». Мінімізація булевих функцій за методом Квайна-Мак-Класки Метод Квайна-Мак-Класки є модифікацією методу Квайна. Недоліком методу Квайна полягає в необхідності попарного порівняння всіх термів на першому етапі при знаходженні первинних імпликант. Із збільшенням кількості вихідних термів збільшується кількість попарних порівнянь, що ускладнює розв’язок. Метод Квайна-Мак-Класки заснований на кубічному поданні термів ДНФ із попередньою розбивкою кубів на підгрупи, обумовлені однаковим числом одиниць. Розбивка дає можливість порівнювати куби тільки за сусідніми за числом одиниць групами для зменшення кількості переборів. В ітеративній процедурі мінімізації попарне порівняння можна виконувати тільки між сусідніми групами. Вихідне завдання функції визначається для зручності десятковими кодами двійкових кубів, що відповідають ДНФ. Знаходження первинних імплікант на першому етапі можна спростити за допомогою числового зображення булевих функцій, а саме: 1. Всі вихідні терми записуються у вигляді їхніх двійкових номерів. 2. Всі номери розбиваються на непересічні групи за числом одиниць. Умовою склеювання й утворення нового терму є наявність розбіжності в підгрупах тільки за однією координатою в одному двійковому розряді й наявність спільних незалежних координат. 3. В i-групу включають всі номери наборів, що мають у своєму записі i одиниць. 4. Попарне порівняння виконується тільки між сусідніми за номером групами. Групи, які розрізняються за двома розрядами і більше, не має сенсу порівнювати. Приклад. Потрібно мінімізувати логічну функцію за методом Квайна-Мак-Класки: / Мінімізація булевих функцій за методом карт Карно Карта Карно зменшує потребу в обширних обчисленнях, використовуючи перевагу людської можливості розпізнання шаблонів, дозволяє швидке розпізнавання і виключення потенційних станів гонитви. В карті Карно булеві...